mathematics with codanics